(define (problem one) 
   (:domain toy_world)
   (:objects A B C)
   (:init 
          (is-true B)
		  (is-true C)
		  )
   (:goal (and (is-true A))))
			   
